101. Dependable Software Engineering
پدیدآورنده : \ Xuandong Li , Zhiming Liu , Wang Yi (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a04,a04,Software engineering -- Congresses.,Software engineering.,نرم‌افزار -- مهندسی-- کنگره‌ها ,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
758
.
D4
2015
E-Book
,
102. Dependable software systems engineering /
پدیدآورنده : edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
رده :
QA76
.
758
103. Digital Information Processing and Communications
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Electronic data processing -- Congresses,Computer networks -- Congresses,نرم‌افزار -- مهندسی -- کنگره‌ها ,داده‌پردازی -- کنگره‌ها,شبکه‌های کامپیوتری -- کنگره‌ها
رده :
E-Book
,
104. Empirical software engineering and verification
پدیدآورنده : Bertrand Meyer, Martin Nordio (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
E47
2011eb
105. End-user development :
پدیدآورنده : edited by Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, Andrew Stratton.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : End-user computing, Congresses.,Human-computer interaction, Congresses.,Software engineering, Congresses.,User-centered system design, Congresses.,End-user computing.,Human-computer interaction.,Software engineering.,User-centered system design.
رده :
QA76
.
9
.
E53
I84
2019
106. Engineering Secure Software and Systems
پدیدآورنده : \ [edited by] Frank Piessens, Juan Caballero, Nataliia Bielova.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer security -- Congresses.,Software engineering -- Congresses.,Data encryption (Computer science) -- Congresses.,کامپیوترها -- ایمنی اطلاعات -- کنگره‌ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,رمزگذاری داده‌ها -- کنگره‌ها
رده :
QA
76
.
9
.
E5
2015
E-Book
,
107. Engineering Societies in the AgentsWorld II
پدیدآورنده : \ Andrea Omicini, Paolo Petta, Robert Tolksdorf (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Intelligent agents (Computer software) -- Congresses.,Engineering -- Societies, etc. -- Congresses.,عوامل هوشمند (نرم‌افزار کامپیوتر) -- کنگره ها,مهندسی -- انجمن‌ها -- کنگره ها
رده :
E-Book
,
108. Engineering methods in the service-oriented context
پدیدآورنده : Jolita Ralyte, Isabelle Mirbel, Rébecca Deneckère (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-aided software engineering, Congresses.,Human engineering, Congresses.,Methods engineering, Congresses.
109. Engineering societies in the agents world II : Second International Workshop, ESAW 2001, Prague, Czech Republic, July 7, 2001 : revised papers
پدیدآورنده : Andrea Omicini, Paolo Petta, Robert Tolksdorf )eds.(
کتابخانه: (طهران)
موضوع : Societies, etc. -- Congresses ، Engineering,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2203
110. Engineering societies in the agents world III :third international workshop, ESAW 2002, Madrid, Spain, September 2002 : revised papers
پدیدآورنده : Paolo Petta, Robert Tolksdorf, Franco Zambonelli )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Societies, etc. -- Congresses ، Engineering
رده :
QA
76
.
L28
Vol
.
2577
111. Engineering societies in the agents world IV : 4th international workshops, ESAW 2003, London, UK, October 29-31, 2003 : revised selected and invited papers
پدیدآورنده : Andrea Omicini, Paolo Petta, Jeremy Pitt )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Intelligent agents )Computer software(,societies, etc. -- Congresses ، Engineering
رده :
QA
76
.
L28
Vol
.
3071
112. Engineering societies in the agents world V : 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004 : revised selected and invited papers
پدیدآورنده : Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Societies, etc. -- Congresses ، Engineering
رده :
QA
76
.
L28
Vol
.
3451
113. Engineering societies in the agents world VII
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Congresses. ; Engineering ; Societies, etc. ; Congresses. ;
114. Engineering societies in the agents world: first international workshop, ESAW 2000, Berlin, Germany, August 21, 2000 : revised papers
پدیدآورنده : Andrea Omicini, Robert Tolksdorf, Franco Zambonelli )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Societies, etc. -- Congresses ، Engineering
رده :
QA
76
.
L28
Vol
.
1972
115. Engineering theories of software construction
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
758
.
N388
2000
116. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
117. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer security.,Computer software.,Software engineering.
رده :
QA76
.
758
118. Experimental Algorithms
پدیدآورنده : \ Evripidis Bampis (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer algorithms -- Congresses.,Software engineering -- Congresses,Data Structures.,الگوریتم‌های کامپیوتری -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,ساختار داده‌ها
رده :
QA
76
.
9
.
E97
2015
E-Book
,
119. Experimental algorithms
پدیدآورنده : Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
A43
S43
2013
120. FM 2015
پدیدآورنده : \ Nikolaj Bjørner , Frank de Boer (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering.,روش‌های صوری (کامپیوتر) -- کنگره ها ,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
9
.
F57
2015
E-Book
,
